|
In mathematics, specifically category theory, adjunction is a possible relationship between two functors. Adjunction is ubiquitous in mathematics, as it specifies intuitive notions of optimization and efficiency. In the most concise symmetric definition, an adjunction between categories ''C'' and ''D'' is a pair of functors, : and and a family of bijections : which is natural in the variables ''X'' and ''Y''. The functor ''F'' is called a left adjoint functor, while ''G'' is called a right adjoint functor. The relationship “''F'' is left adjoint to ''G''” (or equivalently, “''G'' is right adjoint to ''F''”) is sometimes written : This definition and others are made precise below. == Introduction == “The slogan is ‘Adjoint functors arise everywhere’.” (Saunders Mac Lane, ''Categories for the working mathematician'') The long list of examples in this article is only a partial indication of how often an interesting mathematical construction is an adjoint functor. As a result, general theorems about left/right adjoint functors, such as the equivalence of their various definitions or the fact that they respectively preserve colimits/limits (which are also found in every area of mathematics), can encode the details of many useful and otherwise non-trivial results. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Adjoint functors」の詳細全文を読む スポンサード リンク
|